#ifndef __OS_DEFAULTCONFIG_H
#define __OS_DEFAULTCONFIG_H
#include "os_config.h"


#if  !defined CONFIG_TASK_MAX_COUNT || CONFIG_TASK_MAX_COUNT > 32
#define CONFIG_TASK_MAX_COUNT 32
#endif

#if !defined CONFIG_IPC_MAX_COUNT || CONFIG_TASK_MAX_COUNT > 32
#define CONFIG_IPC_MAX_COUNT 32
#endif
#if !defined CONFIG_SWTMR_MAX_COUNT || CONFIG_SWTMR_MAX_COUNT >32
#define CONFIG_SWTMR_MAX_COUNT 32
#endif

#define CONFIG_SEM_MAX_VALUE  0xFFFF
#endif
